#include <linux/smp.h>
#include <linux/cpu.h>
#include <linux/threads.h>

#include "inc/smpboot.h"

unsigned int setup_max_cpus = NR_CPUS;

void smp_init(void)
{
    idle_threads_init();

    bringup_nonboot_cpus(setup_max_cpus);
}
